Clarification to ‘Congruence Lattices of Semilattice’
نویسنده
چکیده
i.e., each principal filter is pseudo-complemented. Based on the way relatively complemented lattices are defined (every interval is complemented), this seemed like the natural way to define relatively pseudocomplemented (for a lattice with a greatest element, (1) is equivalent to each each interval being pseudo-complemented). However, the term relatively pseudo-complemented was already in use in algebraic logic. There it was defined as: for each x and z there is a y such that y∧x ≤ z and u∧ x ≤ z implies u ≤ y . (2)
منابع مشابه
Unsolvable One-dimensional Lifting Problems for Congruence Lattices of Lattices
Let S be a distributive {∨, 0 }-semilattice. In a previous paper, the second author proved the following result: Suppose that S is a lattice. Let K be a lattice, let φ : Conc K → S be a {∨, 0 }-homomorphism. Then φ is, up to isomorphism, of the form Conc f , for a lattice L and a lattice homomorphism f : K → L. In the statement above, Conc K denotes as usual the {∨, 0 }-semilattice of all finit...
متن کاملSOME INTUITIONISTIC FUZZY CONGRUENCES
First, we introduce the concept of intuitionistic fuzzy group congruenceand we obtain the characterizations of intuitionistic fuzzy group congruenceson an inverse semigroup and a T^{*}-pure semigroup, respectively. Also,we study some properties of intuitionistic fuzzy group congruence. Next, weintroduce the notion of intuitionistic fuzzy semilattice congruence and we givethe characterization of...
متن کاملLattices of Theories in Languages without Equality
If S is a semilattice with operators, then there is an implicational theory Q such that the congruence lattice Con(S) is isomorphic to the lattice of all implicational theories containing Q. The author and Kira Adaricheva have shown that lattices of quasi-equational theories are isomorphic to congruence lattices of semilattices with operators [1]. That is, given a quasi-equational theory Q, the...
متن کاملLattices of Quasi-Equational Theories as Congruence Lattices of Semilattices with Operators: Part I
We show that for every quasivariety K of relational structures there is a semilattice S with operators such that the lattice of quasiequational theories of K (the dual of the lattice of sub-quasivarieties of K) is isomorphic to Con(S,+, 0, F). As a consequence, new restrictions on the natural quasi-interior operator on lattices of quasi-equational theories are found. 1. Motivation and terminolo...
متن کاملLattices of Quasi-Equational Theories as Congruence Lattices of Semilattices with Operators: Part II
Part I proved that for every quasivariety K of structures (which may have both operations and relations) there is a semilattice S with operators such that the lattice of quasiequational theories of K (the dual of the lattice of sub-quasivarieties of K) is isomorphic to Con(S,+, 0,F). It is known that if S is a join semilattice with 0 (and no operators), then there is a quasivariety Q such that ...
متن کامل